Optimal. Leaf size=207 \[ \frac {(b c-a d) (c+d x)^{n-3} (e+f x)^{1-n}}{d (3-n) (d e-c f)}+\frac {(c+d x)^{n-2} (e+f x)^{1-n} (2 a d f+b (c f (1-n)-d e (3-n)))}{d (2-n) (3-n) (d e-c f)^2}-\frac {f (c+d x)^{n-1} (e+f x)^{1-n} (2 a d f+b (c f (1-n)-d e (3-n)))}{d (1-n) (2-n) (3-n) (d e-c f)^3} \]
________________________________________________________________________________________
Rubi [A] time = 0.12, antiderivative size = 205, normalized size of antiderivative = 0.99, number of steps used = 3, number of rules used = 3, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.125, Rules used = {79, 45, 37} \begin {gather*} \frac {(b c-a d) (c+d x)^{n-3} (e+f x)^{1-n}}{d (3-n) (d e-c f)}+\frac {(c+d x)^{n-2} (e+f x)^{1-n} (2 a d f+b c f (1-n)-b d e (3-n))}{d (2-n) (3-n) (d e-c f)^2}-\frac {f (c+d x)^{n-1} (e+f x)^{1-n} (2 a d f+b c f (1-n)-b d e (3-n))}{d (1-n) (2-n) (3-n) (d e-c f)^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 37
Rule 45
Rule 79
Rubi steps
\begin {align*} \int (a+b x) (c+d x)^{-4+n} (e+f x)^{-n} \, dx &=\frac {(b c-a d) (c+d x)^{-3+n} (e+f x)^{1-n}}{d (d e-c f) (3-n)}-\frac {(2 a d f+b c f (1-n)-b d e (3-n)) \int (c+d x)^{-3+n} (e+f x)^{-n} \, dx}{d (d e-c f) (3-n)}\\ &=\frac {(b c-a d) (c+d x)^{-3+n} (e+f x)^{1-n}}{d (d e-c f) (3-n)}+\frac {(2 a d f+b c f (1-n)-b d e (3-n)) (c+d x)^{-2+n} (e+f x)^{1-n}}{d (d e-c f)^2 (2-n) (3-n)}+\frac {(f (2 a d f+b c f (1-n)-b d e (3-n))) \int (c+d x)^{-2+n} (e+f x)^{-n} \, dx}{d (d e-c f)^2 (2-n) (3-n)}\\ &=\frac {(b c-a d) (c+d x)^{-3+n} (e+f x)^{1-n}}{d (d e-c f) (3-n)}+\frac {(2 a d f+b c f (1-n)-b d e (3-n)) (c+d x)^{-2+n} (e+f x)^{1-n}}{d (d e-c f)^2 (2-n) (3-n)}-\frac {f (2 a d f+b c f (1-n)-b d e (3-n)) (c+d x)^{-1+n} (e+f x)^{1-n}}{d (d e-c f)^3 (1-n) (2-n) (3-n)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.33, size = 112, normalized size = 0.54 \begin {gather*} \frac {(c+d x)^{n-3} (e+f x)^{1-n} \left (\frac {(c+d x) (-c f (n-2)+d e (n-1)+d f x) (2 a d f-b c f (n-1)+b d e (n-3))}{(n-2) (n-1) (d e-c f)^2}+a d-b c\right )}{d (n-3) (d e-c f)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [F] time = 0.09, size = 0, normalized size = 0.00 \begin {gather*} \int (a+b x) (c+d x)^{-4+n} (e+f x)^{-n} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 1.91, size = 884, normalized size = 4.27 \begin {gather*} -\frac {{\left (6 \, a c^{3} e f^{2} - {\left (3 \, b d^{3} e f^{2} - {\left (b c d^{2} + 2 \, a d^{3}\right )} f^{3} - {\left (b d^{3} e f^{2} - b c d^{2} f^{3}\right )} n\right )} x^{4} + {\left (b c^{2} d + 2 \, a c d^{2}\right )} e^{3} - 3 \, {\left (b c^{3} + 2 \, a c^{2} d\right )} e^{2} f - {\left (12 \, b c d^{2} e f^{2} - 4 \, {\left (b c^{2} d + 2 \, a c d^{2}\right )} f^{3} - {\left (b d^{3} e^{2} f - 2 \, b c d^{2} e f^{2} + b c^{2} d f^{3}\right )} n^{2} + {\left (3 \, b d^{3} e^{2} f - 2 \, {\left (4 \, b c d^{2} + a d^{3}\right )} e f^{2} + {\left (5 \, b c^{2} d + 2 \, a c d^{2}\right )} f^{3}\right )} n\right )} x^{3} + {\left (a c d^{2} e^{3} - 2 \, a c^{2} d e^{2} f + a c^{3} e f^{2}\right )} n^{2} + {\left (3 \, b d^{3} e^{3} - 9 \, b c d^{2} e^{2} f - 9 \, b c^{2} d e f^{2} + 3 \, {\left (b c^{3} + 4 \, a c^{2} d\right )} f^{3} + {\left (b d^{3} e^{3} - {\left (b c d^{2} - a d^{3}\right )} e^{2} f - {\left (b c^{2} d + 2 \, a c d^{2}\right )} e f^{2} + {\left (b c^{3} + a c^{2} d\right )} f^{3}\right )} n^{2} - {\left (4 \, b d^{3} e^{3} - {\left (4 \, b c d^{2} - a d^{3}\right )} e^{2} f - 4 \, {\left (b c^{2} d + 2 \, a c d^{2}\right )} e f^{2} + {\left (4 \, b c^{3} + 7 \, a c^{2} d\right )} f^{3}\right )} n\right )} x^{2} - {\left (5 \, a c^{3} e f^{2} + {\left (b c^{2} d + 3 \, a c d^{2}\right )} e^{3} - {\left (b c^{3} + 8 \, a c^{2} d\right )} e^{2} f\right )} n + {\left (6 \, a c^{2} d e f^{2} + 6 \, a c^{3} f^{3} + 2 \, {\left (2 \, b c d^{2} + a d^{3}\right )} e^{3} - 6 \, {\left (2 \, b c^{2} d + a c d^{2}\right )} e^{2} f + {\left (a c^{3} f^{3} + {\left (b c d^{2} + a d^{3}\right )} e^{3} - {\left (2 \, b c^{2} d + a c d^{2}\right )} e^{2} f + {\left (b c^{3} - a c^{2} d\right )} e f^{2}\right )} n^{2} - {\left (5 \, a c^{3} f^{3} + {\left (5 \, b c d^{2} + 3 \, a d^{3}\right )} e^{3} - {\left (8 \, b c^{2} d + 7 \, a c d^{2}\right )} e^{2} f + {\left (3 \, b c^{3} - a c^{2} d\right )} e f^{2}\right )} n\right )} x\right )} {\left (d x + c\right )}^{n - 4}}{{\left (6 \, d^{3} e^{3} - 18 \, c d^{2} e^{2} f + 18 \, c^{2} d e f^{2} - 6 \, c^{3} f^{3} - {\left (d^{3} e^{3} - 3 \, c d^{2} e^{2} f + 3 \, c^{2} d e f^{2} - c^{3} f^{3}\right )} n^{3} + 6 \, {\left (d^{3} e^{3} - 3 \, c d^{2} e^{2} f + 3 \, c^{2} d e f^{2} - c^{3} f^{3}\right )} n^{2} - 11 \, {\left (d^{3} e^{3} - 3 \, c d^{2} e^{2} f + 3 \, c^{2} d e f^{2} - c^{3} f^{3}\right )} n\right )} {\left (f x + e\right )}^{n}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {{\left (b x + a\right )} {\left (d x + c\right )}^{n - 4}}{{\left (f x + e\right )}^{n}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.01, size = 506, normalized size = 2.44 \begin {gather*} -\frac {\left (f x +e \right ) \left (b \,c^{2} f^{2} n^{2} x -2 b c d e f \,n^{2} x -b c d \,f^{2} n \,x^{2}+b \,d^{2} e^{2} n^{2} x +b \,d^{2} e f n \,x^{2}+a \,c^{2} f^{2} n^{2}-2 a c d e f \,n^{2}-2 a c d \,f^{2} n x +a \,d^{2} e^{2} n^{2}+2 a \,d^{2} e f n x +2 a \,d^{2} f^{2} x^{2}-4 b \,c^{2} f^{2} n x +8 b c d e f n x +b c d \,f^{2} x^{2}-4 b \,d^{2} e^{2} n x -3 b \,d^{2} e f \,x^{2}-5 a \,c^{2} f^{2} n +8 a c d e f n +6 a c d \,f^{2} x -3 a \,d^{2} e^{2} n -2 a \,d^{2} e f x +b \,c^{2} e f n +3 b \,c^{2} f^{2} x -b c d \,e^{2} n -10 b c d e f x +3 b \,d^{2} e^{2} x +6 a \,c^{2} f^{2}-6 a c d e f +2 a \,d^{2} e^{2}-3 b \,c^{2} e f +b c d \,e^{2}\right ) \left (d x +c \right )^{n -3} \left (f x +e \right )^{-n}}{c^{3} f^{3} n^{3}-3 c^{2} d e \,f^{2} n^{3}+3 c \,d^{2} e^{2} f \,n^{3}-d^{3} e^{3} n^{3}-6 c^{3} f^{3} n^{2}+18 c^{2} d e \,f^{2} n^{2}-18 c \,d^{2} e^{2} f \,n^{2}+6 d^{3} e^{3} n^{2}+11 c^{3} f^{3} n -33 c^{2} d e \,f^{2} n +33 c \,d^{2} e^{2} f n -11 d^{3} e^{3} n -6 c^{3} f^{3}+18 c^{2} d e \,f^{2}-18 c \,d^{2} e^{2} f +6 d^{3} e^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {{\left (b x + a\right )} {\left (d x + c\right )}^{n - 4}}{{\left (f x + e\right )}^{n}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.43, size = 874, normalized size = 4.22 \begin {gather*} -\frac {x\,{\left (c+d\,x\right )}^{n-4}\,\left (b\,c^3\,e\,f^2\,n^2-3\,b\,c^3\,e\,f^2\,n+a\,c^3\,f^3\,n^2-5\,a\,c^3\,f^3\,n+6\,a\,c^3\,f^3-2\,b\,c^2\,d\,e^2\,f\,n^2+8\,b\,c^2\,d\,e^2\,f\,n-12\,b\,c^2\,d\,e^2\,f-a\,c^2\,d\,e\,f^2\,n^2+a\,c^2\,d\,e\,f^2\,n+6\,a\,c^2\,d\,e\,f^2+b\,c\,d^2\,e^3\,n^2-5\,b\,c\,d^2\,e^3\,n+4\,b\,c\,d^2\,e^3-a\,c\,d^2\,e^2\,f\,n^2+7\,a\,c\,d^2\,e^2\,f\,n-6\,a\,c\,d^2\,e^2\,f+a\,d^3\,e^3\,n^2-3\,a\,d^3\,e^3\,n+2\,a\,d^3\,e^3\right )}{{\left (e+f\,x\right )}^n\,{\left (c\,f-d\,e\right )}^3\,\left (n^3-6\,n^2+11\,n-6\right )}-\frac {x^2\,{\left (c+d\,x\right )}^{n-4}\,\left (b\,c^3\,f^3\,n^2-4\,b\,c^3\,f^3\,n+3\,b\,c^3\,f^3-b\,c^2\,d\,e\,f^2\,n^2+4\,b\,c^2\,d\,e\,f^2\,n-9\,b\,c^2\,d\,e\,f^2+a\,c^2\,d\,f^3\,n^2-7\,a\,c^2\,d\,f^3\,n+12\,a\,c^2\,d\,f^3-b\,c\,d^2\,e^2\,f\,n^2+4\,b\,c\,d^2\,e^2\,f\,n-9\,b\,c\,d^2\,e^2\,f-2\,a\,c\,d^2\,e\,f^2\,n^2+8\,a\,c\,d^2\,e\,f^2\,n+b\,d^3\,e^3\,n^2-4\,b\,d^3\,e^3\,n+3\,b\,d^3\,e^3+a\,d^3\,e^2\,f\,n^2-a\,d^3\,e^2\,f\,n\right )}{{\left (e+f\,x\right )}^n\,{\left (c\,f-d\,e\right )}^3\,\left (n^3-6\,n^2+11\,n-6\right )}-\frac {c\,e\,{\left (c+d\,x\right )}^{n-4}\,\left (b\,c^2\,e\,f\,n-3\,b\,c^2\,e\,f+a\,c^2\,f^2\,n^2-5\,a\,c^2\,f^2\,n+6\,a\,c^2\,f^2-b\,c\,d\,e^2\,n+b\,c\,d\,e^2-2\,a\,c\,d\,e\,f\,n^2+8\,a\,c\,d\,e\,f\,n-6\,a\,c\,d\,e\,f+a\,d^2\,e^2\,n^2-3\,a\,d^2\,e^2\,n+2\,a\,d^2\,e^2\right )}{{\left (e+f\,x\right )}^n\,{\left (c\,f-d\,e\right )}^3\,\left (n^3-6\,n^2+11\,n-6\right )}-\frac {d^2\,f^2\,x^4\,{\left (c+d\,x\right )}^{n-4}\,\left (2\,a\,d\,f+b\,c\,f-3\,b\,d\,e-b\,c\,f\,n+b\,d\,e\,n\right )}{{\left (e+f\,x\right )}^n\,{\left (c\,f-d\,e\right )}^3\,\left (n^3-6\,n^2+11\,n-6\right )}-\frac {d\,f\,x^3\,{\left (c+d\,x\right )}^{n-4}\,\left (4\,c\,f-c\,f\,n+d\,e\,n\right )\,\left (2\,a\,d\,f+b\,c\,f-3\,b\,d\,e-b\,c\,f\,n+b\,d\,e\,n\right )}{{\left (e+f\,x\right )}^n\,{\left (c\,f-d\,e\right )}^3\,\left (n^3-6\,n^2+11\,n-6\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________